We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...) order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

The Value Alignment Problem (VAP) presupposes that artificial general intelligence (AGI) is desirable and perhaps inevitable. As usually conceived, it is one side of the more general issue of mutual control between agonistic agents. To be fully autonomous, an AI must be an autopoietic system (an agent), with its own purposiveness. In the case of such systems, Bostrom’s orthogonality thesis is untrue. The VAP reflects the more general problem of interfering in complex systems, entraining the possibility of unforeseen consequences. Instead (...) of consolidating skill in an agent that acts on its own behalf, it would be safer and as effective to create ad hoc task-oriented software tools. What motivates the quest to create a superintelligence with a will of its own? Is a general intelligence even possible that is not an agent? Such questions point to the need to clarify what general intelligence is, what constitutes an agent, whose values and intentionality are to be aligned, and how feasible “friendliness” is. (shrink)

Alireza Bagheri supports a policy on organ procurement where individuals could choose their own definition of death between two or more socially accepted alternatives. First, we claim that such a policy, without any criterion to distinguish accepted from acceptable definitions, easily leads to the slippery slope that Bagheri tries to avoid. Second, we suggest that a public discussion about the circumstances under which the dead donor rule could be violated is more productive of social trust than constantly moving the line (...) between life and death. (shrink)

This book was completed by the early 1960s and published in 1984 but it has not lost its topicality, for it contains an important re-assessment of the relations of two main streams of contemporary philosophy - the Analytical and the Dialectic. Adherents and critics of these traditions tend to assurnethat they are diametrically opposed, that their roots, concerns and approaches contradict each other, and that no reconciliation is possible. In contradistinction Russell derives both traditions from the common root of (...) the dissatisfaction with the arguments against speculative philosophy. These according to the author leave a lacuna - certain elementsof our Weltanschaaung have been removed, but they cannot be removed without replacement lest we have an incomplete world view, so incomplete in fact that it cannot be viable. According to Russell part of this vacuum is taken up by the analytical tradition but this tradition is not capable of taking up the remainder of it. That portion of the vacant space is however taken up by the dialectical tradi tion, which in turn cannot itself handle the whole of the problem. Thus the two reactions to the demise of speculative philosophy appear to be complementary in at least this sense. But the author goes further, for according to hirn the analytical arguments themselves clearly point to the emergence of dialectical problems, and the dialectical problems themselves need some such background to arise. (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

Computational systems biologists create and manipulate computational models of biological systems, but they do not always have straightforward epistemic access to the content and behavioural profile of such models because of their length, coding idiosyncrasies, and formal complexity. This creates difficulties both for modellers in their research groups and for their bioscience collaborators who rely on these models. In this paper we introduce a new kind of visualization that was developed to address just this sort of epistemic opacity. The visualization (...) is unusual in that it depicts the dynamics and structure of a computer model instead of that model’s target system, and because it is generated algorithmically. Using considerations from epistemology and aesthetics, we explore how this new kind of visualization increases scientific understanding of the content and function of computer models in systems biology to reduce epistemic opacity. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

In this short paper I will introduce an idea which, I will argue, presents a fundamental additional challenge to the machine consciousness community. The idea takes the questions surrounding phenomenology, qualia and phenomenality one step further into the realm of intersubjectivity but with a twist, and the twist is this: that an agent’s intersubjective experience is deeply felt and necessarily co-affective; it is enkinaesthetic, and only through enkinaesthetic awareness can we establish the affective enfolding which enables first the perturbation, and (...) then the balance and counter-balance, the attunement and co-ordination of whole-body interaction through reciprocal adaptation. (shrink)

In this paper we examine how the use of robots in caring for elders can impact the meaningfulness of elders’ lives. We present a framework for understanding ‘meaningfulness in life’, and then apply that framework in discussing ways in which the use of robots to assist in activities of daily living can preserve, enhance or undermine the meaningfulness of elders’ lives. We conclude with a discussion of if and how having false beliefs about companion robots can affect meaningfulness in the (...) life of the person having those false beliefs. (shrink)

My aim in this paper is to go some way towards showing that the maintenance of hard and fast dichotomies, like those between mind and body, and the real and the virtual, is untenable, and that technological advance cannot occur with being cognisant of its reciprocal ethical implications. In their place I will present a softer enactivist ontology through which I examine the nature of our engagement with technology in general and with virtual realities in particular. This softer ontology is (...) one to which I will commit Kant, and from which, I will show, certain critical moral and emotional consequences arise. It is my contention that Kant’s logical subject is necessarily embedded in the world and that Kant, himself, would be content with this view as an expression of his inspired response to the ‘‘scandal to philosophy... that the existence of things outside us... must be accepted merely on faith’’ [Bxl]. In keeping with his arguments for the a priori framing of intuition, the a priori structuring of experience through the spontaneous application of the categories, the synthesis of the experiential manifold, and the necessity of a unity of apperception, I will present an enactivist account of agency in the world, and argue that it is our embodied and embedded kinaesthetic engagement in our world which makes possible the syntheses of apprehension, reproduction and recognition, and which, in turn, make possible the activity of the reproductive or creative imagination. (shrink)

Social participation requires certain abilities: communication with other members of society; social understanding which enables planning ahead and dealing with novel circumstances; and a theory of mind which makes it possible to anticipate the mental state of another. In childhood play we learn how to pretend, how to put ourselves in the minds of others, how to imagine what others are thinking and how to attribute false beliefs to them. Without this ability we would be unable to deceive and detect (...) deception in the actions of others, and our ability to interact within our social group would be greatly impaired. In this paper I claim that the capacity for deception is necessary for a theory of mind, and a theory of mind is necessary for complex social interaction. (shrink)

The philosophy of science has traditionally assumed that knowledge should be organized in the form of theories. From theories propositions can be deduced that can be tested in experiments. Most propositions deduced from theories take the form of if-then statements. For example, if variable A increases, what happens to variable B, assuming that all other variables are held constant? However, an alternative way of organizing knowledge, in the form of producer-product relationships, was proposed by the philosopher E.A. Singer, Jr. and (...) advocated by two of his students, C. West Churchman and Russell L. Ackoff. Whether to structure knowledge in the form of theories or methods is related to the question of whether there is a fundamental difference between the natural and the social sciences. As opposed to Karl Popper’s doctrine of the unity of method, this paper argues that structuring knowledge in the form of methods is appropriate in applied fields, particularly in management where a large part of the task is to achieve agreement among a group of knowing subjects on an appropriate set of actions. (shrink)

The growth of knowledge has always included opposing worldviews and clashes of distinct interests. This includes different rationalities which either have served or disserved the State. A Copernican world defied the Catholic Church. Cartesian philosophy and Newtonian physics incited a major split between an allegedly knowing subject and external realities. As an outcome, many dualisms emerged: subjectivity/objectivity, particular/universal, etc. Hegelian dialectics elaborated such approach to its most extreme. The pretension of social science to be value-free assumed a neutral observer collating (...) external facts. Yet both Hume and Adam Smith challenged Descartes cogito as banal, stressing that it is not because we think that we are but rather than how we think is who we have become through the values, dispositions and beliefs that we have consciously or less than consciously acquired from life experience, and that no perception is neutral. Hume anticipated Bourclieu both on habItus and also on reflexivity in his concept of the reflexive mind" yet this then was lost by the presumption, such as by Bertrand Russell, that Hume was a "mere empiricist". Logical positivism then claimed that an appeal to 'facts' could dismiss metaphysics, invoking the logical atomism of Russell and the early Wittgenstein. But which Wittgenstein transcended not in the sense of transcendental metaphysics, though he was deeply influenced by Schopenhauer, but - after a road to Damascus encounter with Sraffa - coming to realise that meanings depend on context and that their context needs to be understood. Which we suggest in this paper is that these issues are highly relevant to the troubled relationship between rationality - or rationalities - and the State. (shrink)

In this critical notice, I review and critique ‘Psychiatric Casualties’ (2021) by Mark C. Russell and Charles Figley. In so doing, I analyze a natural experiment from WWII, which has previously only been misinterpreted. The natural experiment leads me to conclude that predisposition results in some individuals being far more likely than others to develop war stress disorders such as PTSD. This point puts me in disagreement with Russell and Figley, though I endorse the general message of their (...) book: that the military has failed in its responsibility to properly care for psychiatric casualties, and that there are steps which could be taken to improve the situation. (shrink)

The philosophy of science has traditionally assumed that knowledge should be organized in the form of theories. From theories propositions can be deduced that can be tested in experiments. Most propositions deduced from theories take the form of if-then statements. For example, if variable A increases, what happens to variable B, assuming that all other variables are held constant? However, an alternative way of organizing knowledge, in the form of producer-product relationships, was proposed by the philosopher E.A. Singer, Jr. and (...) advocated by two of his students, C. West Churchman and Russell L. Ackoff. Whether to structure knowledge in the form of theories or methods is related to the question of whether there is a fundamental difference between the natural and the social sciences. As opposed to Karl Popper’s doctrine of the unity of method, this paper argues that structuring knowledge in the form of methods is appropriate in applied fields, particularly in management where a large part of the task is to achieve agreement among a group of knowing subjects on an appropriate set of actions. (shrink)

John Corcoran ’s “Meanings of Implication” outlines and discusses 12 distinct uses of the term “implies” while also commenting on the ways in which these different notions of implication might be confused or conflated. Readers may take special note of Corcoran ’s analysis of Russell’s truth-functional account of “implication” and its historical function as logical consequence, as well as Corcoran ’s discussion of Bolzano’s previously obscure and rarely mentioned notion of “relative implication.”.

Traditional descriptivism and Kripkean causalism are standardly interpreted as rival theories on a single topic. I argue that there is no such shared topic, i.e. that there is no question that they can be interpreted as giving rival answers to. The only way to make sense of the commitment to epistemic transparency that characterizes traditional descriptivism is to interpret Russell and Frege as proposing rival accounts of how to characterize a subject’s beliefs about what names refer to. My argument (...) relies on a development of the distinction between speaker’s reference and semantic reference. (shrink)

Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s (...) classic attempt to solve Hume’s problem is also both obscure and controversial. Russell accepted that Hume’s reasoning about induction was basically correct, but he argued that given the centrality of induction in our cognitive endeavors something must be wrong with Hume’s basic assumptions. What Russell effectively identified as Hume’s (and Reichenbach’s) failure was the commitment to a purely extensional empiricism. So, Russell’s solution to the problem of induction was to concede extensional empiricism and to accept that induction is grounded by accepting both a robust essentialism and a form of rationalism that allowed for a priori knowledge of universals. So, neither of those doctrines is without its critics. On the one hand, Reichenbach’s solution faces the charges of obscurity and of offering no response to the inductive skeptic. On the other hand, Russell’s solution looks to be objectionably ad hoc absent some non-controversial and independent argument that the universals that are necessary to ground the uniformity of nature actually exist and are knowable. This particular charge is especially likely to arise from those inclined towards purely extensional forms of empiricism. In this paper the significance of Reichenbach’s solution to the problem of induction will be made clearer via the comparison of these two historically important views about the problem of induction. The modest but important contention that will be made here is that the comparison of Reichenbach’s and Russell’s solutions calls attention to the opposition between extensional and intensional metaphysical presuppositions in the context of attempts to solve the problem of induction. It will be show that, in effect, what Reichenbach does is to establish an important epistemic limitation of extensional empiricism. So, it will be argued here that there is nothing really obscure about Reichenbach’s thoughts on induction at all. He was simply working out the limits of extensional empiricism with respect to inductive inference in opposition to the sort of metaphysics favored by Russell and like-minded thinkers. (shrink)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: (...) Everything makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

It is shown that Russell's Paradox can be solved without advocating the Theory of Types, and also that the Liar's Paradox can be solved in much the same way. Neither solution requires that any of our commonsense-based beliefs be revised, let alone jettisoned. It is also shown that the Theory of Types is false.

Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is explicitly shown (...) with a formalized argument that this “foundationless” naive category theory therefore contains a paradox similar to the Russell paradox of naive set theory. (shrink)

Este libro es un ensayo filosófico que expresa la relevancia que para John Stuart Mill tiene la educación, hasta el punto de considerarla como un derecho fundamental de las personas, teniendo en cuenta que en su tiempo no existían los hoy conocidos Derechos Humanos. Stuart Mill se adelanta a nuestra época y presenta a la educación como ese derecho básico de toda persona que ha de ser protegido, potenciado y proporcionado por los diversos Estados.

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

A Wittgensteinian Way with Paradoxes examines how some of the classic philosophical paradoxes that have so puzzled philosophers over the centuries can be dissolved. Read argues that paradoxes such as the Sorites, Russell’s Paradox and the paradoxes of time travel do not, in fact, need to be solved. Rather, using a resolute Wittgensteinian ‘therapeutic’ method, the book explores how virtually all apparent philosophical paradoxes can be diagnosed and dissolved through examining their conditions of arising; to loosen their grip and (...) therapeutically liberate those philosophers suffering from them (including oneself). The book contrasts such paradoxes with real, ‘lived paradoxes’: paradoxes that are genuinely experienced outside of the philosopher’s study, in everyday life. Thus Read explores instances of lived paradox (such as paradoxes of self-hatred and of denial of other humans’ humanity) and the harm they can cause, psychically, morally or politically. These lived paradoxes, he argues, sometimes cannot be dissolved using a Wittgensteinian treatment. Moreover, in some cases they do not need to be: for some, such as the paradoxical practices of Zen Buddhism (and indeed of Wittgenstein himself), can in fact be beneficial. The book shows how, once philosophers’ paradoxes have been exorcized, real lived paradoxes can be given their due. (shrink)

We can distinguish between ambitious metanormative constructivism and a variety of other constructivist projects in ethics and metaethics. Ambitious metanormative constructivism is the project of either developing a type of new metanormative theory, worthy of the label “constructivism”, that is distinct from the existing types of metaethical, or metanormative, theories already on the table—various realisms, non-cognitivisms, error-theories and so on—or showing that the questions that lead to these existing types of theories are somehow fundamentally confused. Natural ways of pursuing the (...) project of ambitious metanormative constructivism lead to certain obvious, and related, worries about whether the ambitions are really being achieved—that is whether we really are being given a distinctive theory. I will argue that responding to these initial worries pushes ambitious metanormative constructivism towards adopting a kind of position that I will call “constructivism all the way down”. Such a position does see off most of the above initial worries. Drawing on the work of Ralph Walker and Crispin Wright, I argue, however, that it faces a distinct objection that is a descendent of Bertrand Russell’s Bishop Stubbs objection against coherentist theories of truth. I grant that the constructivist need not be a coherentist about truth. I argue, however, that despite this the constructivist cannot escape my version of the objection. I also distinguish between this objection and various traditional charges of circularity, regress, relativism, or psychologistic reductionism. (shrink)

El estudio que se desarrolla aquí muestra los aspectos generales del pensamiento de John Stuart Mill relacionados con la religión, tales como la existencia de Dios, los atributos de Dios, características del Cristianismo y cuestiones similares. Igualmente muestra la hipótesis de la utilidad de la religión para las personas.

What are we to make of the cultural nonconformity of hardcore/punks? Is there any ethical value in the pursuit of cultural nonconformity? Distinct moral justifications can be teased from the lyrics of the hardcore/punk bands that we have grown up with and still love. The best explanation of what makes cultural nonconformity morally valuable, we believe, comes from John Stuart Mill: that it opens up new cultural space to oneself and to others, permitting "new and original experiments of living.".

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and (...) shows how problematic these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

Many differences exist between the logical relations “equality” and “equivalence”. In this monograph I point out differences that concern definition, linguistics, computational gates and tables, denotation, application, negation of terms, negation of the relation, relations to other relations, the laws of symmetry, transitivity and reflexivity, the laws of commutation and permutation, the law of tautology, the law of distribution, the law of association, propositional meaning, and “genesis”. I also point out a form of “symmetry breaking”: the negation of some equality (...) may yield some non-equality, while the negation of that non-equality might not yield the same equality. (For full access: use the website link of the title page. -- Copyright License: CC BY-NC-ND. -- DOI: 10.17026/dans-zh3-h2b2 --). (shrink)

This study is about Brentano’s criticism of a version of phenomenalism that he calls “mental monism” and which he attributes to positivist philosophers such as Ernst Mach and John Stuart Mill. I am interested in Brentano’s criticism of Mill’s version of mental monism based on the idea of “permanent possibilities of sensation.” Brentano claims that this form of monism is characterized by the identification of the class of physical phenomena with that of mental phenomena, and it commits itself to (...) a form of idealism. Brentano argues instead for a form of indirect or hypothetical realism based on intentional correlations. (shrink)

Russell’s second philosophy of time (1899–1913), which will be the subject of this paper, is of special interest for two reasons. (1) It was basic to his New Philosophy, later called the “philosophy of logical atomism”. In fact, this philosophy didn’t initially emerge in the period of 1914– 1919, as many interpreters (e.g. A. J. Ayer) suggest, but with the introduction of Russell’s second philosophy of time (and space). The importance of Russell’s second philosophy of time for (...) his early and middle philosophy can be seen from the fact that it survived the dramatic changes in his philosophy of August–December 1900, and of July 1905. There is of course no surprise about this point: it served as their fundament. (2) Russell’s second philosophy of time is a locus classicus of all so called B-theories of time which define it in terms of the relations of before, after and simultaneous between events or moments. 20th century philosophy; absolute theory of time; theory of time; order; relation; relationist theory of time; B-series. (shrink)

Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference that (...) is both free-standing and the sole load-bearing structure in Mill’s logic, the foundations of Mill’s logical system are briefly inspected. Several naturalistic features are identified, including its subject matter, human reasoning, its empiricism, which requires that only particular, experiential claims can function as basic reasons, and its ultimate foundations in ‘spontaneous’ inference. The chapter concludes by comparing Mill’s naturalized logic to Russell’s (1907) regressive method for identifying the premises of mathematics. (shrink)

Worin besteht Mills Argument für den Utilitarismus? Im psychologischen Teil des Arguments plädiert Mill für eine aggregierte Beschreibung unserer hedonistischen Werte ("Das allgemeine Glück ist ein Gut für die Gesamtheit aller Personen"). Von hier aus steuert er im normativen Teil des Arguments auf eine aggregierte Bewertung zu ("Das allgemeine Glück ist ein Gut"). Mills Übergang von Beschreibung zu Wertung beruht auf zwei versteckten Annahmen: Die erste sagt (gegen den Nihilisten), dass es Werte gibt; die zweite sagt (gegen Wert-Metaphysiker), dass die (...) Antwort auf die Frage nach Werten nicht völlig unabhängig von dem sein kann, was wir alle de facto für wert erachten. Diese beiden Voraussetzungen scheinen keine inhaltlichen Aussagen zur Moral zu enthalten. Doch wer sie teilt, wird von Mills Argument überraschend weit in die Gefilde der Moral getrieben. Sein Argument ist besser, als die meisten Interpreten glauben. (shrink)

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

We might think that thought experiments are at their most powerful or most interesting when they produce new knowledge. This would be a mistake; thought experiments that seek understanding are just as powerful and interesting, and perhaps even more so. A growing number of epistemologists are emphasizing the importance of understanding for epistemology, arguing that it should supplant knowledge as the central notion. In this chapter, I bring the literature on understanding in epistemology to bear on explicating the different ways (...) that thought experiments increase three important kinds of understanding: explanatory, objectual and practical. (shrink)

The passage of Mill’s Utilitarianism that sets out the condition in which one pleasure has a superior quality than another stokes interpretive controversy. According to the Lexical Interpretation, Mill takes one pleasure, P1, to be of a superior quality than another, P2, if, and only if, the smallest quantity of P1 is more valuable than any finite quantity of P2. This paper argues that, while the Lexical Interpretation may be supported with supplementary evidence, the passage itself does not rule out (...) qualitative superiority without lexical dominance, as it only requires P1 to be more valuable than any quantity of P2 that it is possible for someone to experience. Some will object that this concession to opponents of the Lexical Interpretation still renders Mill’s condition for qualitative superiority too demanding to be plausible. However, if Mill’s qualitative rankings apply to higher-order pleasures taken in modes of existence as such rather than to the pleasures of different activities chosen from within these modes, the objection loses much of its force. One upshot is that Mill may have more to contribute to debates in contemporary population axiology than is usually acknowledged. (shrink)

What role does the imagination play in scientific progress? After examining several studies in cognitive science, I argue that one thing the imagination does is help to increase scientific understanding, which is itself indispensable for scientific progress. Then, I sketch a transcendental justification of the role of imagination in this process.

John Stuart Mill fue un reformador social. Como gran parte de los pensadores del siglo XIX, creía en la idea de progreso. Consideraba que se estaba viviendo un tiempo de transición, en el que se daba una tendencia hacia un mejor y más feliz estado de cosas, aunque también percibía que la época era de riegos y amenazas. No se pensaba ni como filósofo ni como académico ni como político, se veía a sí mismo como un reformador social, cuya (...) función era educar a la opinión ilustrada y progresista. El propósito de sus textos es persuadir y, con ello, ayudar a transformar. Sus tesis defienden la necesidad de organizar la sociedad moderna bajo ciertos principios para que pueda alcanzar un estado superior de progreso social y moral. -/- Contra la acusación de que John Stuart Mill es un pensador ecléctico, contradictorio y que no añade nada a los clásicos, el libro que el lector tiene en sus manos muestra que su originalidad no consistió en haber creado nuevos conceptos, sino en haber transformado conceptos fundamentales de la filosofía social, moral y política, matizándolos, otorgándoles nuevos sentidos y abriéndoles nuevas posibilidades. Fue un utilitarista, pero la doctrina utilitarista salió renovada de sus escritos. Fue un liberal, pero en un sentido nuevo de liberal, ni clásico ni contractualista. Fue demócrata, aunque en un sentido distinto del de la voluntad general de Rousseau. Fue socialista, pero un socialista cualificado. -/- Como educador de la opinión ilustrada, tuvo un éxito extraordinario. Sus libros tuvieron una gran acogida y su nombre gozó de prestigio, admiración y respeto en Inglaterra. Su pensamiento filosófico sigue mereciendo la mayor atención e inspirando y fascinando a muchos. Sus ideas políticas han tenido una influencia innegable en el mundo contemporáneo. (shrink)

1. Animal Cruelty Industrial farming is appallingly abusive to animals. Pigs. In America, nine-tenths of pregnant sows live in “gestation crates. ” These pens are so small that the animals can barely move. When the sows are first crated, they may flail around, in an attempt to get out. But soon they give up. Crated pigs often show signs of depression: they engage meaningless, repetitive behavior, like chewing the air or biting the bars of the stall. The sows live like (...) this for four months. Gestation crates will be phased out in Europe by the end of 2012, but they will still be used in America.1 In nature, pigs nurse their young for about thirteen weeks. But in industrial farms, piglets are taken from their mothers after about ten days. Because the piglets are weaned prematurely, they develop a lifelong craving to suck and chew. But the farmers don’t want them sucking and chewing on other pigs’ tails. So the growers routinely snip off the tails of all their pigs. They do this with a pair of pliers and no anesthetic. However, the whole tail is not removed; a tender stump remains. The point is to render the area sensitive, so the pigs being chewed on will fight back. Which they do.2 Over 113 million pigs are slaughtered each year in America.3 Typically, these pigs are castrated, their needle teeth are clipped, and one of their ears is notched for identification —all without pain relief.4 In nature, pigs spend up to three quarters of their waking hours foraging and exploring their environment.5 But in the factory farms, “tens of thousands of hogs spend their entire lives ignorant of earth or straw or sunshine, crowded together beneath a metal roof standing on metal slats suspended over a septic tank. ”6 Bored, and in constant pain, the pigs must perpetually inhale the fumes of their own waste. These pigs often get sick, and their ill health is exacerbated by the overcrowding. In 2000, the U.S. Department of Agriculture compared hog farms containing over 10,000 pigs—which is the norm—with farms containing under 2,000 pigs. (shrink)

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The argument (...) view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

JOURNAL OF THE HISTORY OF PHILOSOPHY PRIZE for the best published book in the history of philosophy [Awarded in 2010] _______________ -/- Although it is widely recognized that David Hume's A Treatise of Human Nature (1739-40) belongs among the greatest works of philosophy, there is little agreement about the correct way to interpret his fundamental intentions. It is an established orthodoxy among almost all commentators that skepticism and naturalism are the two dominant themes in this work. The difficulty has been, (...) however, that Hume's skeptical arguments and commitments appear to undermine and discredit his naturalistic ambition to contribute to "the science of man". This schism appears to leave his entire project broken-backed. The solution to this riddle depends on challenging another, closely related, point of orthodoxy: namely, that before Hume published the Treatise he removed almost all material concerned with problems of religion. Russell argues, contrary to this view, that irreligious aims and objectives are fundamental to the Treatise and account for its underlying unity and coherence. It is Hume's basic anti-Christian aims and objectives that serve to shape and direct both his skeptical and naturalistic commitments. When Hume's arguments are viewed from this perspective we can solve, not only puzzles arising from his discussion of various specific issues, we can also explain the intimate and intricate connections that hold his entire project together. This "irreligious" interpretation provides a comprehensive fresh account of the nature of Hume's fundamental aims and ambitions in the Treatise. It also presents a radically different picture of the way in which Hume's project was rooted in the debates and controversies of his own time, placing the Treatise in an irreligious or anti-Chrisitan philosophical tradition that includes Hobbes, Spinoza and freethinking followers. Considered in these terms, Hume's Treatise constitutes the crowning achievement of the Radical Enlightenment. (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons for (...) robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

When philosophers discuss the possibility of machines making scientific discoveries, they typically focus on discoveries in physics, biology, chemistry and mathematics. Observing the rapid increase of computer-use in science, however, it becomes natural to ask whether there are any scientific domains out of reach for machine discovery. For example, could machines also make discoveries in qualitative social science? Is there something about humans that makes us uniquely suited to studying humans? Is there something about machines that would bar them from (...) such activity? A close look at the methodology of interpretive social science reveals several abilities necessary to make a social scientific discovery, and one capacity necessary to possess any of them is imagination. For machines to make discoveries in social science, therefore, they must possess imagination algorithms. (shrink)

This introduction provides a brief overview of the issues and arguments that arise in Hume's _Dialogues concerning Natural Religion_ (1779). It also provides a few brief comments relating to the historical context in which this text should be interpreted , as well as an account of the place of the _Dialogues_ in relation to Hume's other philosophical works.